alias mm='clear; echo "------------------"; make -C mm/; make -C mm/ clean;  echo "------------------"'
